package plp.imperative2.memory;

import plp.expressions2.expression.Id;
import plp.imperative1.memory.AmbienteCompilacaoImperativa;
import plp.imperative2.declaration.ListaDeclaracaoParametro;

public interface AmbienteCompilacaoImperativa2 extends
		AmbienteCompilacaoImperativa {

	public void mapParametrosProcedimento(Id idArg,
			ListaDeclaracaoParametro parametrosId)
			throws ProcedimentoJaDeclaradoException;

	public ListaDeclaracaoParametro getParametrosProcedimento(Id idArg)
			throws ProcedimentoNaoDeclaradoException;

	public void mapParametrosRendezvous(Id idArg,
			ListaDeclaracaoParametro parametrosId)
			throws RendezvousJaDeclaradoException;

	public ListaDeclaracaoParametro getParametrosRendezvous(Id idArg)
			throws RendezvousNaoDeclaradoException;
}
